комбинаторная теория

См. также в других словарях:

• Теория алгоритмов — Теория алгоритмов  наука, изучающая общие свойства и закономерности алгоритмов и разнообразные формальные модели их представления. К задачам теории алгоритмов относятся формальное доказательство алгоритмической неразрешимости задач,… …   Википедия

• Теория типов — Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей. В …   Википедия

• КОМБИНАТОРНАЯ ЛОГИКА — раздел логики, посвященный изучению и анализу таких понятий и методов, как переменная, функция, операция подстановки, классификация предметов по типам или категориям и другие. В качестве основных понятий в К. л. выбираются одноместная функция и… …   Математическая энциклопедия

• комбинаторная лингвистика — применяет для изучения лингвистических явлений неколичественный или качественный математический аппарат (теория множеств, математическая логика, теория алгоритмов, теория порождающих грамматик и др.). Это направление противопоставляется… …   Толковый переводоведческий словарь

• МНОЖЕСТВ ТЕОРИЯ — наивная учение о свойствах множеств, преимущественно бесконечных, элиминирующее свойства элементов, составляющих эти множества. . Понятие множества принадлежит к числу первоначальных математич. понятий и может быть пояснено только при помощи… …   Математическая энциклопедия

• ГОМОЛОГИИ ТЕОРИЯ — топологических пространств часть алгебраич. топологии, осуществляющая связь между топологич. н алгебраич. понятиями: приводя в соответствие каждому пространству определенную последовательность групп, а непрерывному отображению пространств… …   Математическая энциклопедия

• ПУЧКОВ ТЕОРИЯ — специальный математич. аппарат, обеспечивающий единый подход для установления связи между локальными и глобальными свойствами топологич. пространств (в частности, геометрич. объектов) и являющийся мощным средством исследования многих задач в… …   Математическая энциклопедия

• Задание группы — Задание группы, в теории групп  один из методов определения группы указанием порождающего множества и множества соотношений между порождающими . В этом случае говорят, что группа имеет задание . Неформально, имеет такое задание, если она… …   Википедия

• ЛИ АЛГЕБРА — лиева алгебра, унитарный k модуль Lнад коммутативным кольцом k с единицей, к рый снабжен билинейным отображением прямого произведения в L, обладающим следующими двумя свойствами: 1) [ х, х] = 0 (откуда вытекает антикоммутативность 2) ( х,[ у,… …   Математическая энциклопедия

• Вершик — Вершик, Анатолий Моисеевич Анатолий Моисеевич Вершик (род. 28 декабря 1933, Ленинград) российский математик, доктор физико математических наук, главный научный сотрудник Санкт Петербургского отделения Математического института имени В.А.Стеклова …   Википедия

• Вершик, Анатолий Моисеевич — Анатолий Моисеевич Вершик Дата рождения: 28 декабря 1933 …   Википедия